501. RIMS Symposia on Software Science and Engineering II :
Author: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6
E358
1986
502. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
503. Real-world algorithms :
Author: Panos Louridas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Popular works.,Computer programming, Popular works.,Computer algorithms.,Computer programming.
Classification :
QA76
.
9
.
A43
L67
2017
504. Reasoning with probabilistic and deterministic graphical models :
Author: Rina Dechter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
Classification :
QA279
.
5
.
D43
2019
505. Recent trends in computer applications :
Author: editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
Classification :
QA75
.
5
506. Recent trends in network security and applications :
Author: Natarajan Meghanathan ... [et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,COMPUTERS -- Internet -- Security.,COMPUTERS -- Networking -- Security.
507. Relational and algebraic methods in computer science :
Author: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
Classification :
QA76
.
9
.
M35
508. Research in computational molecular biology :
Author: edited by Benjamin J. Raphael.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Data mining.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Maths for computer scientists.
Classification :
QH324
.
2
.
R43
2018
509. Rewriting techniques and applications
Author: / Ronald V. Book, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Rewriting systems (Computer science) -- Congresses,Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses
Classification :
QA
267
.
I555
1991
510. Rewriting techniques and applications
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Rewriting systems (Computer science)- Congresses►Electronic digital computers- Programming- Congresses►Computer algorithms- Congresses
Classification :
267
.
R48
511. Rewriting techniques and applications; Bordeaux, France, May 25-27, 1987, proceedings
Author: edited by Pierre Lescanne
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Algorithms
Classification :
QA
76
.
L4
v
.
256
512. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
Author: edited by Jean-Pierre Jouannaud
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
Classification :
QA
76
.
L4
v
.
202
513. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
Author: International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1989
514. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
Author: International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1991
515. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1993
516. Role of emotion in information retrieval
Author: Moshfeghi, Yashar
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: QA75 Electronic computers. Computer science; BF Psychology
517. Rough Sets and Current Trends in Computing.
Author: Wojciech Ziarko
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ebooks -- UML.
518. SPAA 2003 : Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA
Author: sponsored by ACM SIGACT ]and[ ACM SIGARCH in cooperation with EATCS )European Association for Theoretical Computer Science(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Computer algorithms
Classification :
QA
76
.
5
.
A257
2003
519. SPAA'11 : Proceedings of the Twenty-Third Annual Symposium on Parallelism in Algorithms and Architectures, June 4-6, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT & ACM SIGARCH and supported by : IBM & Akamai
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
Classification :
QA
76
.
5
.
A257
2011
520. SPAA 2005 : Seventeenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA
Author: sponsored by ACM SIGACT, ACM SIGARCH and organized in cooperation with the European Association for Theoretical Computer Science & Intel Corporation
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer algorithms,Congresses ، Computer architecture
Classification :
QA
76
.
5
.
A257
2005
